#ifndef __STDIO_H_
#define __STDIO_H_

#include "types.h"

#define stdin 0
#define stdout 1
#define stderr 2

void putchar (char ch);
char getchar (void);
void puts(char *chars);
void print_uint(uint64 num);
void debug_uint(char *str, uint64 num);
void print_cluster(char *p);

#endif
